Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof a...(展开全部)

Vijay Krishna's 2e of Auction Theory improves upon his 2002 bestseller with a new chapter on package and position auctions as well as end-of-chapter questions and chapter notes. Complete proofs and new material about collusion complement Krishna's ability to reveal the basic facts of each theory in a style that is clear, concise, and easy to follow. With the addition of a sol...(展开全部)

Vijay Krishna's 2e of Auction Theory improves upon his 2002 bestseller with a new chapter on package and position auctions as well as end-of-chapter questions and chapter notes. Complete proofs and new material about collusion complement Krishna's ability to reveal the basic facts of each theory in a style that is clear, concise, and easy to follow. With the addition of a sol...(展开全部)

"Probability and Measure Theory, Second Edition" is a text for a graduate-level course in probability that includes essential background topics in analysis. It provides extensive coverage of conditional probability and expectation, strong laws of large numbers, martingale theory, the central limit theorem, ergodic theory, and Brownian motion. It is clear, and is presented in a ...(展开全部)

"Probability and Measure Theory, Second Edition" is a text for a graduate-level course in probability that includes essential background topics in analysis. It provides extensive coverage of conditional probability and expectation, strong laws of large numbers, martingale theory, the central limit theorem, ergodic theory, and Brownian motion. It is clear, and is presented in a ...(展开全部)

"Macroeconomic Theory", in its first edition, was widely adopted for use as a graduate text; this updated and expanded version should find even greater popularity as a text and as a research reference. It has been substantially revised to include three entirely new chapters: The Consumption Function, Government Debt and Taxes, and Dynamic Optimal Taxation. Significant additions...(展开全部)

Minimal prerequisites make this text ideal for a first course in number theory. Written in a lively, engaging style by the author of popular mathematics books, it features nearly 1,000 imaginative exercises and problems. Solutions to many of the problems are included, and a teacher's guide is available. 1978 edition.

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)